Fighting Bugs: Remove, Retry, Replicate, and Rejuvenate

Even if software developers don't fully understand the faults or know their location in the code, software rejuvenation can help avoid failures in the presence of aging-related bugs. This is good news because reproducing and isolating an aging-related bug can be quite involved, similar to other Mandelbugs. Moreover, monitoring for signs of software aging can even help detect software faults that were missed during the development and testing phases. If, on the other hand, a developer can detect a specific aging-related bug in the code, fixing it and distributing a software update might be worthwhile. In the case of the Patriot missile-defense system, a modified version of the software was indeed prepared and deployed to users. It arrived at Dhahran on 26 February 1991- a day after the fatal incident     

Effect of Microfabric on Mechanical Behavior of Kaolin Clay Using Cubical True Triaxial Testing

Various aspects of the mechanical behavior of kaolin clay are discussed in light of experimental observations from a series of strain controlled true triaxial undrained tests performed on cubical kaolin clay specimens with flocculated and dispersed microfabric, using a fully automated flexible boundary experimental setup with real-time feedback control system. The laboratory procedures used to prepare flocculated and dispersed microfabric specimens are presented. Mercury intrusion porosimetry is used to evaluate the pore structure of these specimens. The influence of microfabric on the consolidation behavior of kaolin clay is evaluated based on the data obtained from K0 consolidation during constant rate of strain tests and the isotropic consolidation during true triaxial tests. Undrained tests on kaolin clay show that the following vary with microfabric of specimen: The shear stiffness, excess pore pressure generated during shear, and strength and strain to failure. For both microfabrics, the observed strength behavior using cubical triaxial testing shows a similar pattern of variation with applied stress anisotropy; hence, only a marginal influence of fabric-induced anisotropy.     

Thermal impact of an active 3-D microelectrode array implanted in the brain.

A chronically implantable, wireless neural interface device will require integrating electronic circuitry with the interfacing microelectrodes in order to eliminate wired connections. Since the integrated circuit (IC) dissipates a certain amount of power, it will raise the temperature in surrounding tissues where it is implanted. In this paper, the thermal influence of the integrated 3-D Utah electrode array (UEA) device implanted in the brain was investigated by numerical simulation using finite element analysis (FEA) and by experimental measurement in vitro as well as in vivo. The numerically calculated and experimentally measured temperature increases due to the UEA implantation were in good agreement. The experimentally validated numerical model predicted that the temperature increases linearly with power dissipation through the UEA, with a slope of 0.029 degree C/mW over the power dissipation levels expected to be used. The influences of blood perfusion, brain metabolism, and UEA geometry on tissue heating were also investigated using the numerical model.     

Adaptive value function approximation for continuous-state stochastic dynamic programming

Approximate dynamic programming (ADP) commonly employs value function approximation to numerically solve complex dynamic programming problems. A statistical perspective of value function approximation employs a design and analysis of computer experiments (DACE) approach, where the “computer experiment” yields points on the value function curve. The DACE approach has been used to numerically solve high-dimensional, continuous-state stochastic dynamic programming, and performs two tasks primarily: (1) design of experiments and (2) statistical modeling. The use of design of experiments enables more efficient discretization. However, identifying the appropriate sample size is not straightforward. Furthermore, identifying the appropriate model structure is a well-known problem in the field of statistics. In this paper, we present a sequential method that can adaptively determine both sample size and model structure. Number-theoretic methods (NTM) are used to sequentially grow the experimental design because of their ability to fill the design space. Feed-forward neural networks (NNs) are used for statistical modeling because of their adjustability in structure-complexity . This adaptive value function approximation (AVFA) method must be automated to enable efficient implementation within ADP. An AVFA algorithm is introduced, that increments the size of the state space training data in each sequential step, and for each sample size a successive model search process is performed to find an optimal NN model. The new algorithm is tested on a nine-dimensional inventory forecasting problem.     

Usability Problem Reports for Comparative Studies: Consistency and Inspectability

ABSTRACT

This study explores issues of consistency and inspectability in usability test data analysis processes and reports. Problem reports resulting from usability tests performed by three professional usability labs in three different countries are compared. Each of the labs conducted a usability test on the same product, applying an agreed test protocol that was collaboratively developed by the labs. Each lab first analyzed their own findings as they always do in their regular professional practice. A few weeks later, they again analyzed their findings, but then everyone applied the same method (SlimDEVAN: a simplified version of DEVAN, a method developed for facilitating comparison of findings from usability tests in an academic setting). It was found that levels of agreement between labs did not improve when they all used SlimDEVAN, suggesting that there was inherent subjectivity in their analyses. It was found that consistency of single analyst teams varied considerably and that a method like SlimDEVAN can help in making the analysis process and findings more inspectable. Inspectability is helpful in comparative studies based on identified usability problems because it allows for tracing back findings to original observations as well as for laying bare the subjective parts of the data analysis.     

SOFT COMPUTING TECHNIQUES FOR PREDICTION OF BOILING HEAT TRANSFER COEFFICIENT OF LIQUIDS ON COPPER-COATED TUBES

In this article pool boiling heat transfer coefficient (HTC) of liquids (isopropanol, methanol, and distilled water) on copper-coated heating tubes over a wide range of pressure conditions is computed experimentally. The objective is to find the applicability of soft computing techniques, swarm-intelligence based neural network, and adaptive fuzzy models in the prediction of boiling HTC. The results are compared with those computed experimentally. The performance of models for prediction of HTC is analyzed in terms of root mean square of prediction error. The minimum/maximum value obtained by zero-order fuzzy model with six membership function is 0.0023/3.4383 among all the liquids considered. The model is found to predict HTC with a maximum error of ±0.5% for boiling of liquids over all the coated tubes with pressure varying from atmospheric to subatmospheric levels. The study shows an excellent agreement between the experimental and predicted data.     

Biomass estimation of mixed forest landscape using a Fourier transform texture-based approach on very-high-resolution optical satellite imagery

Assessment of forest structure parameters via remote-sensing data offers the opportunity to examine stand parameters and to detect degradation and forest dynamics, such as above-ground biomass (AGB), at the landscape scale. While much attention has focused on spectrum-based and radar backscatter approaches for assessing forest biomass, texture-based approaches show strong promise. This work makes use of the novel Fourier transform textural ordination (FOTO) method, which involves the combination of 2D fast Fourier transform (FFT) and ordination through principal component analysis (PCA) for characterizing the structural and textural properties of vegetation. This technique presents the potential of Fourier transform approaches in estimating the different forest types, their stand structure, and biomass dynamics in the context of an oil palm–tropical forest landscape in Sabah, Malaysian Borneo. The method was applied to the recordings of very-high-resolution (VHR) Satellite Pour l’Observation de la Terre (SPOT) imagery of the study area. The technique proved useful in distinguishing between the forest types and developing individual biomass estimate models for various forest types. Results show that the FOTO method is able correctly to resolve high AGB values of various forest types. These findings are in agreement with the results based on ground measurements.     

Water-Resource Allocation for Recreation, Leisure and Amenity

The paper (a) assesses the social and economic demands for water-related recreational, leisure and amenity facilities, (b) reviews the ways in which these demands are currently satisfied for lakes, reservoirs, rivers and canals, and (c) identifies possible future trends. The significant degree of interaction with other uses of water is also discussed.     

Aquifer Recharge: An Operational Drought-Management Strategy in North London

The North London Artificial Recharge scheme, which comprises thirty-seven wells and boreholes, is designed to boost resources during a drought. All sources discharge groundwater either to the Lee Valley reservoirs or the New River during the abstraction, which avoids the need for expensive on-site water treatment and significantly enhances the cost effectiveness of the scheme. Fully treated drinking water provides the source of gravity-fed artificial-recharge water, via the normal distribution system.
This paper describes the strategy which was introduced in 1997, in response to a deteriorating water-resources situation. Abstraction occurred over a period of four months prior to the onset of autumnal winter rainfall. Daily abstraction rates peaked at 150 Ml/d, and a total of about 10 700 Ml were withdrawn.     

Discharge Measurement Using Portable Dilution Gauging Flowmeters

This paper suggests that the relative salt (sodium chloride) dilution method should be more widely used for the routine measurement of stream discharge, and has been written to increase awareness of the technique among flow-gauging practitioners. Recent improvements in instrumentation have increased accuracy and simplified practical application, making the method better suited (in many circumstances) than the more widely used alternatives. The paper (a) reports on a field study to evaluate the performance of a portable dilution-gauging flowmeter, and (b) considers the environmental issues which are associated with the method. The review reveals that the use of salt (in the quantities typically required) is unlikely to have any significant ecological impact, and argues that environmental concerns are founded upon little scientific basis.